widget-factory: Remove duplicate margin-start
authorAlexander Mikhaylenko <alexm@gnome.org>
Wed, 6 May 2020 20:29:33 +0000 (01:29 +0500)
committerAlexander Mikhaylenko <alexm@gnome.org>
Wed, 6 May 2020 20:29:33 +0000 (01:29 +0500)
demos/widget-factory/widget-factory.ui

index b34274c8841e44a249eef31314fd878492282f20..f3321e1f6f1c9338441c6267da01a7a38bd58dac 100644 (file)
@@ -1800,7 +1800,6 @@ microphone-sensitivity-medium-symbolic</property>
                                                 <property name="halign">start</property>
                                                 <property name="valign">center</property>
                                                 <property name="margin-start">6</property>
-                                                <property name="margin-start">6</property>
                                                 <property name="margin-end">6</property>
                                                 <property name="margin-top">6</property>
                                                 <property name="margin-bottom">6</property>